Object-oriented Design of Automated Highway Simulations Using the Shift Programming Language
نویسنده
چکیده
SmartAHS is a specification, simulation, and evaluation framework for modeling, control and evaluation of Automated Highway Systems (AHS). SmartAHS is developed using SHIFT, a new programming language with simulation semantics.This paper discusses the requirements that have led to the development of SmartAHS and SHIFT, summarizes the main characteristics of the SHIFT language, and illustrates how the objectoriented features of SHIFT are used in the development of the SmartAHS framework.
منابع مشابه
Declarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کاملDESIGN OPTIMIZATION OF RC FRAMES UNDER EARTHQUAKE LOADS
This paper deals with the optimization of reinforced concrete (RC) structures under earthquake loads by introducing a simple methodology. One of the most important problems in the design of RC structures is the existing of various design scenarios that all of them satisfy design constraints. Despite of the steel structures, a large number of design candidates due to a large number of design var...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملApplying mean shift and motion detection approaches to hand tracking in sign language
Hand gesture recognition is very important to communicate in sign language. In this paper, an effective object tracking and hand gesture recognition method is proposed. This method is combination of two well-known approaches, the mean shift and the motion detection algorithm. The mean shift algorithm can track objects based on the color, then when hand passes the face occlusion happens. Several...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007